Llistar TÃtols per Matèria "Restriccions pseudo-Booleanes"
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |
S'ha trobat un Ãtem:
Format | Data | TÃtol | Autor |
---|---|---|---|
Format | Data | TÃtol | Autor |
![]() |
15 juliol 2019 | Scheduling through logic-based tools | Coll Caballero, Jordi |
Scheduling Pseudo-Boolean constraints Programación de tareas Satisfiability modulo theories Satisfactibilitat mòdul teories 51 - Matemà tiques Restriccions pseudo-Booleanes
Suy Franch, Josep Villaret i Ausellé, Mateu Coll Caballero, Jordi Universitat de Girona. Departament d’Informà tica, Matemà tica Aplicada i EstadÃstica (2013-)